8729961aee97bc6288e670aabe74d960c88661f3,projects/baseLanguageExt/dev/source_gen/jetbrains/mps/baseLanguage/ext/collections/lang/helgins/typeof_RemoveAllElementsOperation_InferenceRule.java,typeof_RemoveAllElementsOperation_InferenceRule,applyRule,#SNode#,22
Before Change
TypeChecker.getInstance().reportTypeError(arg, "sequence is expected");
}
if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(argumentElementType, expectedElementType))) {
TypeChecker.getInstance().reportTypeError(arg, "" + expectedElementType + " is expected");
}
}
}
After Change
TypeChecker.getInstance().reportTypeError(argument, "couldn't define input list element type");
}
// ==========
SNode arg = SLinkOperations.getTarget(argument, "argument", true);
if(arg != null) {
SNode expectedArgumentType = new QuotationClass_21().createNode(expectedElementType);
SNode actualArgumentType = TypeChecker.getInstance().getRuntimeSupport().checkedTypeOf(arg);
if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(actualArgumentType, expectedArgumentType))) {
TypeChecker.getInstance().reportTypeError(arg, "" + expectedArgumentType + " is expected");
}
}
}